Order theory

Results: 3266



#Item
611Database / Database theory

Integration More results. Less cost. Product Sheet It is only very rarely that a call centre system will exist in a vacuum. Normally, call centres will already be using an array of business systems in order to handle cal

Add to Reading List

Source URL: www.noetica.com

Language: English - Date: 2014-01-16 11:36:56
612Computing / Higher-order functions / Computability theory / Theoretical computer science / Church encoding / Scheme / Fold / Binary lambda calculus / Lambda calculus / Software engineering / Declarative programming

http://wedesoft.de/downloads/cambridge2014.pdf Fundamentals of Computing c 2014 Jan Wedekind, Digital Science

Add to Reading List

Source URL: www.wedesoft.de

Language: English
613Combinatorics / Matroid / Branch-decomposition / Greedoid / Duality / Minor / Tree decomposition / Graph / Bicircular matroid / Graph theory / Mathematics / Matroid theory

Branch-Width, Parse Trees, and Monadic Second-Order Logic for Matroids? Petr Hlinˇ en´ y School of Mathematical and Computing Sciences,

Add to Reading List

Source URL: www.fi.muni.cz

Language: English - Date: 2005-07-07 11:28:02
614Knowledge / Behavioural sciences / Narratology / Social philosophy / Pierre Bourdieu / Structural functionalism / Anthony Giddens /  Baron Giddens / Reflexivity / Social order / Sociology / Science / Sociological terms

A Theory of Literate Action: Literate Action, Volume 2

Add to Reading List

Source URL: wac.colostate.edu

Language: English - Date: 2013-12-28 16:55:58
615Sorting network / Combinatorics / Comparator / Distributed computing / Bitonic sorter / Sorting algorithms / Order theory / Mathematics

Distributed Computing FS 2013 Prof. R. Wattenhofer Stephan Holzer

Add to Reading List

Source URL: dcg.ethz.ch

Language: English - Date: 2014-09-26 08:28:47
616Formal languages / Model theory / First-order logic / Predicate logic / Golden ratio / Well-formed formula / Binary tree / Function / Linear temporal logic / Logic / Mathematics / Mathematical logic

Query Reasoning on Trees with Types, Interleaving, and Counting Everardo B´arcenas,1 Pierre Genev`es,2 Nabil Laya¨ıda,1 and Alan Schmitt1 1 INRIA, France 2 CNRS, France

Add to Reading List

Source URL: wam.inrialpes.fr

Language: English - Date: 2011-04-14 03:17:50
617Model theory / Quantification / Predicate logic / Semantics / First-order logic / Second-order logic / Interpretation / Non-standard model of arithmetic / Nonfirstorderizability / Mathematical logic / Logic / Mathematics

Plural Quantifiers John MacFarlane—Philosophy 142 February 24, 2011 1

Add to Reading List

Source URL: johnmacfarlane.net

Language: English - Date: 2011-02-24 14:22:05
618Matrix theory / Matrices / Abstract algebra / Singular value decomposition / Eigenvalues and eigenvectors / Symmetric matrix / Matrix / Orthogonal matrix / Vector space / Algebra / Linear algebra / Mathematics

Some Basic Matrix Theorems Richard E. Quandt Princeton University Definition 1. Let A be a square matrix of order n and let λ be a scalar quantity. Then det(A−λI) is called the characteristic polynomial of A.

Add to Reading List

Source URL: www.quandt.com

Language: English - Date: 2009-11-04 11:37:58
619Functions and mappings / Model theory / Computability theory / Interpretation / Philosophy of mind / Semantics / Primitive recursive function / Function / First-order logic / Mathematical logic / Mathematics / Logic

Well-founded Recursion over Contextual Objects Brigitte Pientka1 and Andreas Abel2 1 2

Add to Reading List

Source URL: www2.tcs.ifi.lmu.de

Language: English - Date: 2015-02-07 05:55:59
620Probability theory / Kurtosis / Skewness / Order statistic / Sampling / Variance / Distribution / Statistics / Mathematical analysis / Cumulant

Finite Population Effects for Ranking and Tournament Selection

Add to Reading List

Source URL: www.complex-systems.com

Language: English - Date: 2012-09-20 14:36:17
UPDATE